A categorical model for logic programs: Indexed monoidal categories
Identifieur interne : 000368 ( France/Analysis ); précédent : 000367; suivant : 000369A categorical model for logic programs: Indexed monoidal categories
Auteurs : Andrea Corradini [Italie] ; Andrea Asperti [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 1993.
Abstract
Abstract: We propose a simple notion of model for Logic Programs based on indexed monoidal categories. On the one hand our proposal is consistent with well-known techniques for providing a categorical semantics for logical systems. On the other hand, it allows us to keep the effectiveness of the Horn Clause Logic fragment of first order logic. This is shown by providing an effective construction of the initial model of a program, obtained through the application of a general methodology aimed at defining a categorical semantics for structured transition systems. Thus the declarative view (as logical theory) and the operational view (as structured transition system) of a logic program are reconciled in a highly formal framework, which provides interesting hints to possible generalizations of the logic programming paradigm.
Url:
DOI: 10.1007/3-540-56596-5_31
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003542
- to stream Istex, to step Curation: 003282
- to stream Istex, to step Checkpoint: 002415
- to stream Main, to step Merge: 003326
- to stream Main, to step Curation: 003155
- to stream Main, to step Exploration: 003155
- to stream France, to step Extraction: 000368
Links to Exploration step
ISTEX:29C217BC3CFC383B2A4B2022D6328BEB2965F9A8Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A categorical model for logic programs: Indexed monoidal categories</title><author><name sortKey="Corradini, Andrea" sort="Corradini, Andrea" uniqKey="Corradini A" first="Andrea" last="Corradini">Andrea Corradini</name></author><author><name sortKey="Asperti, Andrea" sort="Asperti, Andrea" uniqKey="Asperti A" first="Andrea" last="Asperti">Andrea Asperti</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:29C217BC3CFC383B2A4B2022D6328BEB2965F9A8</idno><date when="1993" year="1993">1993</date><idno type="doi">10.1007/3-540-56596-5_31</idno><idno type="url">https://api.istex.fr/document/29C217BC3CFC383B2A4B2022D6328BEB2965F9A8/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">003542</idno><idno type="wicri:Area/Istex/Curation">003282</idno><idno type="wicri:Area/Istex/Checkpoint">002415</idno><idno type="wicri:doubleKey">0302-9743:1993:Corradini A:a:categorical:model</idno><idno type="wicri:Area/Main/Merge">003326</idno><idno type="wicri:Area/Main/Curation">003155</idno><idno type="wicri:Area/Main/Exploration">003155</idno><idno type="wicri:Area/France/Extraction">000368</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A categorical model for logic programs: Indexed monoidal categories</title><author><name sortKey="Corradini, Andrea" sort="Corradini, Andrea" uniqKey="Corradini A" first="Andrea" last="Corradini">Andrea Corradini</name><affiliation wicri:level="3"><country xml:lang="fr">Italie</country><wicri:regionArea>Dipartimento di Informatica, Università di Pisa, Corso Italia 40, I-56125, Pisa</wicri:regionArea><placeName><settlement type="city">Pise</settlement><region nuts="2">Toscane</region></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Italie</country></affiliation></author><author><name sortKey="Asperti, Andrea" sort="Asperti, Andrea" uniqKey="Asperti A" first="Andrea" last="Asperti">Andrea Asperti</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>INRIA - Rocquencourt, Domaine de Voluceau, Le Chesnay</wicri:regionArea><wicri:noRegion>Le Chesnay</wicri:noRegion><wicri:noRegion>Le Chesnay</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>1993</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">29C217BC3CFC383B2A4B2022D6328BEB2965F9A8</idno><idno type="DOI">10.1007/3-540-56596-5_31</idno><idno type="ChapterID">6</idno><idno type="ChapterID">Chap6</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: We propose a simple notion of model for Logic Programs based on indexed monoidal categories. On the one hand our proposal is consistent with well-known techniques for providing a categorical semantics for logical systems. On the other hand, it allows us to keep the effectiveness of the Horn Clause Logic fragment of first order logic. This is shown by providing an effective construction of the initial model of a program, obtained through the application of a general methodology aimed at defining a categorical semantics for structured transition systems. Thus the declarative view (as logical theory) and the operational view (as structured transition system) of a logic program are reconciled in a highly formal framework, which provides interesting hints to possible generalizations of the logic programming paradigm.</div></front></TEI><affiliations><list><country><li>France</li><li>Italie</li></country><region><li>Toscane</li></region><settlement><li>Pise</li></settlement></list><tree><country name="Italie"><region name="Toscane"><name sortKey="Corradini, Andrea" sort="Corradini, Andrea" uniqKey="Corradini A" first="Andrea" last="Corradini">Andrea Corradini</name></region><name sortKey="Corradini, Andrea" sort="Corradini, Andrea" uniqKey="Corradini A" first="Andrea" last="Corradini">Andrea Corradini</name></country><country name="France"><noRegion><name sortKey="Asperti, Andrea" sort="Asperti, Andrea" uniqKey="Asperti A" first="Andrea" last="Asperti">Andrea Asperti</name></noRegion><name sortKey="Asperti, Andrea" sort="Asperti, Andrea" uniqKey="Asperti A" first="Andrea" last="Asperti">Andrea Asperti</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/OcrV1/Data/France/Analysis
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000368 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000368 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Ticri/CIDE
|area= OcrV1
|flux= France
|étape= Analysis
|type= RBID
|clé= ISTEX:29C217BC3CFC383B2A4B2022D6328BEB2965F9A8
|texte= A categorical model for logic programs: Indexed monoidal categories
}}
| This area was generated with Dilib version V0.6.32. |  |